EventsWithState $\subseteq$r EventsWithOrder